George Berkeley

Results: 261



#Item
51PROCEEDINGS, TOUGH Symposium 2006 Lawrence Berkeley National Laboratory, Berkeley, California, May 15–17, 2006 DEPRESSURIZATION-INDUCED GAS PRODUCTION FROM CLASS 1 AND CLASS 2 HYDRATE DEPOSITS George J. Moridis and Mic

PROCEEDINGS, TOUGH Symposium 2006 Lawrence Berkeley National Laboratory, Berkeley, California, May 15–17, 2006 DEPRESSURIZATION-INDUCED GAS PRODUCTION FROM CLASS 1 AND CLASS 2 HYDRATE DEPOSITS George J. Moridis and Mic

Add to Reading List

Source URL: esd.lbl.gov

Language: English - Date: 2014-11-14 11:47:22
    52Published in “Logic in Computer Science”, LICS, A Sound Framework for Untrusted Verification-Condition Generators George C. Necula∗ Robert R. Schneck

    Published in “Logic in Computer Science”, LICS, A Sound Framework for Untrusted Verification-Condition Generators George C. Necula∗ Robert R. Schneck

    Add to Reading List

    Source URL: www.cs.berkeley.edu

    Language: English - Date: 2010-10-29 12:59:25
      53Published in “Software Security – Theories and Systems”. Proc. of International Software Security Symposium, 2002, pages 283–298. Proof-Carrying Code with Untrusted Proof Rules George C. Necula1 and Robert R. Sch

      Published in “Software Security – Theories and Systems”. Proc. of International Software Security Symposium, 2002, pages 283–298. Proof-Carrying Code with Untrusted Proof Rules George C. Necula1 and Robert R. Sch

      Add to Reading List

      Source URL: www.cs.berkeley.edu

      Language: English - Date: 2010-10-29 12:59:20
        54A Framework for Certified Program Analysis and Its Applications to Mobile-Code Safety? Bor-Yuh Evan Chang, Adam Chlipala, and George C. Necula University of California, Berkeley, California, USA {bec,adamc,necula}@cs.ber

        A Framework for Certified Program Analysis and Its Applications to Mobile-Code Safety? Bor-Yuh Evan Chang, Adam Chlipala, and George C. Necula University of California, Berkeley, California, USA {bec,adamc,necula}@cs.ber

        Add to Reading List

        Source URL: www.cs.berkeley.edu

        Language: English - Date: 2010-10-29 12:59:17
          55pdfauthor CCured: Type-Safe Retrofitting of Legacy Software GEORGE C. NECULA, JEREMY CONDIT, MATTHEW HARREN, SCOTT McPEAK, and WESTLEY WEIMER University of California, Berkeley

          pdfauthor CCured: Type-Safe Retrofitting of Legacy Software GEORGE C. NECULA, JEREMY CONDIT, MATTHEW HARREN, SCOTT McPEAK, and WESTLEY WEIMER University of California, Berkeley

          Add to Reading List

          Source URL: www.cs.berkeley.edu

          Language: English - Date: 2010-10-29 12:59:29
            56Discovering Affine Equalities Using Random Interpretation Sumit Gulwani George C. Necula University of California, Berkeley {gulwani,necula}@cs.berkeley.edu

            Discovering Affine Equalities Using Random Interpretation Sumit Gulwani George C. Necula University of California, Berkeley {gulwani,necula}@cs.berkeley.edu

            Add to Reading List

            Source URL: www.cs.berkeley.edu

            Language: English - Date: 2010-10-29 12:59:19
            57Reverse Execution With Constraint Solving Raluca Sauciuc George Necula Electrical Engineering and Computer Sciences

            Reverse Execution With Constraint Solving Raluca Sauciuc George Necula Electrical Engineering and Computer Sciences

            Add to Reading List

            Source URL: www.cs.berkeley.edu

            Language: English - Date: 2013-05-12 14:29:36
            58Policy Brief | JanuaryBerkeleyLaw UNIVERSITY OF CALIFORNIA The Chief Justice

            Policy Brief | JanuaryBerkeleyLaw UNIVERSITY OF CALIFORNIA The Chief Justice

            Add to Reading List

            Source URL: www.law.berkeley.edu

            Language: English - Date: 2015-04-13 19:30:41
            59Published in Proc. of Conference on Automated Deduction, 2002, pp. 47–62. A Gradual Approach to a More Trustworthy, yet Scalable, Proof-Carrying Code Robert R. Schneck1 and George C. Necula2,? 1

            Published in Proc. of Conference on Automated Deduction, 2002, pp. 47–62. A Gradual Approach to a More Trustworthy, yet Scalable, Proof-Carrying Code Robert R. Schneck1 and George C. Necula2,? 1

            Add to Reading List

            Source URL: www.cs.berkeley.edu

            Language: English - Date: 2010-10-29 12:59:42
            60Animated Transitions in Statistical Data Graphics Jeffrey Heer, George G. Robertson Abstract—In this paper we investigate the effectiveness of animated transitions between common statistical data graphics such as bar c

            Animated Transitions in Statistical Data Graphics Jeffrey Heer, George G. Robertson Abstract—In this paper we investigate the effectiveness of animated transitions between common statistical data graphics such as bar c

            Add to Reading List

            Source URL: vis.berkeley.edu

            Language: English - Date: 2007-08-30 16:00:46